#include<cstdio>
using namespace std;
int main()
{
	int a, b, c;
	scanf("%d %d %d", &a, &b, &c);
	printf("%.f", a * 0.2 + b * 0.3 + c * 0.5);	
	return 0;
}
